2006

国際会議(査読付)

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", Proc. of the International Conference on Software Engineering (ICSE2006), Far East Experience Track, pp. 604-607, May 2006.

2005

国内会議(査読付)

[1] 古澤 仁, 渡邊 宏, 河本 貴則, 崔 銀惠, "形式的手法の便益性評価のためのデータ収集実験", 第二回システム検証の科学技術シンポジウム予稿集, pp. 196-204, 2005年10月.

テクニカルレポート

[1] Hitoshi Furusawa, Eun-Hye Choi, and Hiroshi Watanabe, "Efficiency Analysis of Model-Based Review in Actual Software Design", 算譜科学研究速報, (PS-2005-018), December 2005.